Перевод: со всех языков на все языки

со всех языков на все языки

логический эквивалент

См. также в других словарях:

  • ОТРИЦАНИЕ (логический вариант частицы не) — ОТРИЦАНИЕ, логический эквивалент оборота «неверно, что...» или просто частицы «не»; операция, формализующая логические свойства этих слов …   Энциклопедический словарь

  • дизъюнкция — и; ж. [лат. disjunctio разобщение] Логическая операция, содержащая в себе союз или . ◁ Дизъюнктивный, ая, ое. Д ое суждение (логическое суждение с союзом или ). * * * дизъюнкция (лат. disjunctio  разобщение), (в логике, математике, лингвистике… …   Энциклопедический словарь

  • импликация — и; ж. [лат. implicatio] Лог. Способ связи двух простых высказываний в сложное с помощью конструкции если..., то... * * * импликация (от лат. implico  тесно связываю) (материальная импликация), приблизительный логический эквивалент оборота «если …   Энциклопедический словарь

  • конъюнкция — и; ж. [лат. conjunctio союз, связь] Лог. Приём, способ объединения двух и более высказываний в единое целое с помощью союза и . ◁ Конъюнктивный, ая, ое. К ое высказывание. * * * конъюнкция (от лат. conjunctio  союз, связь), логический эквивалент… …   Энциклопедический словарь

  • Карнап Рудольф — (1891 1970) один из главных представителей логического позитивизма. Он родился в Роннсдорфе, в Германии. Изучал физику, математику и философию в университетах Фрейбурга и Вены. В своей философии испытал влияние Готтлоба Фреге. В первую мировую… …   Великие философы: учебный словарь-справочник

  • ДИЗЪЮНКЦИЯ — (лат. disjunctio разобщение) в логике, математике и др. логический эквивалент союза или ; операция, формализующая основные логические свойства этого союза …   Большой Энциклопедический словарь

  • ИМПЛИКАЦИЯ — (от лат. implico тесно связываю) (материальная импликация) приблизительный логический эквивалент оборота если..., то... ; операция, формализующая логические свойства этого оборота …   Большой Энциклопедический словарь

  • КОНЪЮНКЦИЯ — (от лат. conjunctio союз связь), логический эквивалент союза и ; операция, формализующая логические свойства этого союза …   Большой Энциклопедический словарь

  • ОТРИЦАНИЕ — логический эквивалент оборота неверно, что... или просто частицы не ; операция, формализующая логические свойства этих слов …   Большой Энциклопедический словарь

  • импликация — ж. 1. Приблизительный логический эквивалент оборота ( если..., то... ). 2. Операция, формализующая логические свойства этого оборота. Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 …   Современный толковый словарь русского языка Ефремовой

  • отрицание — я; ср. 1. к Отрицать. Прийти к отрицанию искусства. О. доводов оппонента. Настаивать на отрицании человеческого бессмертия. 2. Филос. Связь двух последовательных состояний развивающегося объекта. О. старого новым. Закон отрицания отрицания (закон …   Энциклопедический словарь

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»